1. Applied nonstandard analysis
پدیدآورنده : Martin Davis,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Nonstandard mathematical analysis
رده :
QA
.
D38
299
.
82
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Computability
پدیدآورنده : Martin Davis,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Recursive functions,Unsolvability )Mathematical logic(,Computable functions
رده :
QA
.
D38
9
.
615
1982
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Computability, complexity, and languages
پدیدآورنده : Martin D. Davis, Elaine J. Weyuker,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Machine theory,Computational complexity,Formal languages
رده :
QA
.
D38
267
1983
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Practical injection molding
پدیدآورنده : Bernie A. Olmsted, Martin E. Davis,Title,Series
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Injection molding of plastics
رده :
TP
.
O47
1150
2001
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)